From 7b9464560079c2e4ffdb45c567978bf91d862f53 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 9 Jul 2005 17:13:24 +0000 Subject: [PATCH] no need to remove the registry dir, now we have only one of it --- ocaml-md5sums.ml.in | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/ocaml-md5sums.ml.in b/ocaml-md5sums.ml.in index 806a50a3..83a2796b 100644 --- a/ocaml-md5sums.ml.in +++ b/ocaml-md5sums.ml.in @@ -271,10 +271,7 @@ let update () = with End_of_file -> Unix.closedir dir; close_out registry; - if is_empty registry_file then begin - Sys.remove registry_file; - ignore (Sys.command ("/bin/rmdir -p " ^ md5sums_dir)) - end + if is_empty registry_file Sys.remove registry_file (** {2 Main} *) -- 2.30.2